($s_{1}$ $\equiv$ $s_{2}$ mod $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$z$:Id. $\neg$$z$ $=$ $x$ $\Rightarrow$ $s_{1}$($z$) $=$ $s_{2}$($z$)